Buy Used and New Roberto Gorrieri Books

Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings: 1256 (Lecture Notes in Computer Science)

by Pierpaolo Degano,Roberto Gorrieri,Alberto Marchetti-Spaccamela

ISBN 13: 9783540631651

Format: Paperback (884 pages)
Publisher: Springer
Published: 18 Jun 1997

Save for later

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings: 4037 (Lecture Notes in Computer Science)

by Roberto Gorrieri,Heike Wehrheim

ISBN 13: 9783540348931

Format: Paperback (280 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Foundations of Security Analysis and Design: Tutorial Lectures: 2171 (Lecture Notes in Computer Science)

by Roberto Gorrieri,Riccardo Focardi

ISBN 13: 9783540428961

Format: Paperback (412 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures (Lecture Notes in Computer Science)

by Alessandro Aldini,Roberto Gorrieri

ISBN 13: 9783642230813

Format: Paperback (284 pages)
Publisher: Springer
Published: 19 Aug 2011

Save for later

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures: 2946 (Lecture Notes in Computer Science)

by Riccardo Focardi,Roberto Gorrieri

ISBN 13: 9783540209553

Format: Paperback (280 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later

Formal Methods for Open Object-based Distributed Systems: 3rd (IFIP International Federation for Information Processing): Ifip Tc6 / Wg6.1 Third ... in Information and Communication Technology)

by International Conference on Formal Metho,International Federation for Information,Roberto Gorrieri

ISBN 13: 9780792384298

Format: Hardcover (452 pages)
Publisher: Springer
Published: 28 Feb 1999

Save for later